Synthesis of opaque systems with static and dynamic masks

机译：具有静态和动态蒙版的不透明系统的合成

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Synthesis of opaque systems with static and dynamic masks [J] . Franck Cassez, Jeremy Dubreil, Hervl Marchand Formal Methods in System Design . 2012,第1期

机译：具有静态和动态蒙版的不透明系统的合成
2. SYNTHESIS OF OPTIMAL TEST PROGRAMS FOR THE ONBOARD SYSTEMS OF SPACE VEHICLES ON THE BASIS OF A COMBINED STATIC-DYNAMIC NEURAL NETWORK [J] . G. I. KOZYREV, A. I. LOSKUTOV Automatic Control and Computer Sciences . 2003,第3期

机译：基于静态-动态神经网络的空间车辆车载系统最优测试程序的合成
3. Synthesis of ZSM-22 in Static and Dynamic System Using Seeds [J] . Lenivaldo V. de Sousa Júnior, Antonio O. S. Silva, Bruno J. B. Silva, Modern Research in Catalysis . 2014,第2期

机译：基于种子的静态和动态系统中ZSM-22的合成
4. Dynamic Observers for the Synthesis of Opaque Systems [C] . Franck Cassez, Jeremy Dubreil, Herve Marchand Automated technology for verification and analysis . 2009

机译：不透明系统综合的动态观察者
5. Robust mask-layout and process synthesis in micro-electro-mechanical-systems (MEMS) using genetic algorithms. [D] . Ma, Lin. 2001

机译：使用遗传算法在微机电系统（MEMS）中进行稳健的掩膜布局和过程综合。
6. Charge Transfer in Dynamical Biosystems or The Treacheryof (Static) Images [O] . David N. Beratan, *, Chaoren Liu, -1

机译：动态生物系统中的电荷转移（静态）图片的
7. Synthesis of opaque systems with static and dynamic masks [O] . Cassez Franck, Dubreil Jérémy, Marchand Hervé 2012

机译：具有静态和动态蒙版的不透明系统的合成

Synthesis of opaque systems with static and dynamic masks

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅